метод резолюций

метод резолюций

 

метод резолюций
 —
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]

Тематики

  • информационные технологии в целом

EN

  • resolution method


Справочник технического переводчика. – Интент. 2009-2013.

Игры ⚽ Нужна курсовая?

Смотреть что такое "метод резолюций" в других словарях:

  • Метод резолюций — Правило резолюций правило вывода в исчислении высказываний и исчислении предикатов. Исчисление высказываний Пусть C1 и C2 два предложения в исчислении высказываний, и пусть , а , где P пропозициональная переменная, а C 1 и …   Википедия

  • Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций  это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка …   Википедия

  • Эстонская Советская Социалистическая Республика —         Эстония (Ээсти НСВ).          I. Общие сведения          Эстонская ССР образована 21 июля 1940. С 6 августа 1940 в составе СССР. Расположена на С. З. Европейской части СССР, на побережье Балтийского моря, между Финским (на С. ) и Рижским… …   Большая советская энциклопедия

  • МАРКС — (Marx) Карл, полное имя Карл Генрих (1818 1883) нем. философ, социолог и экономист, один из наиболее глубоких критиков капитализма и основателей современного социализма. Творчество М. оказало серьезное воздействие на социальную мысль и социальные …   Философская энциклопедия

  • Парадигма — (Paradigm) Определение парадигмы, история возникновения парадигмы Информация об определении парадигмы, история возникновения парадигмы Содержание Содержание История возникновения Частные случаи (лингвистика) Управленческая парадигма Парадигма… …   Энциклопедия инвестора

  • Ленин. Владимир Ильич Ульянов. Биография — Ленин, Владимир Ильич (наст. фамилия Ульянов) (1870 1924) Ленин. Владимир Ильич Ульянов. Биография Русский политический и государственный деятель, продолжатель дела К.Маркса и Ф.Энгельса , организатор Коммунистической партии Советского Союза… …   Сводная энциклопедия афоризмов

  • Ленин, Владимир Ильич — Проверить нейтральность. На странице обсуждения должны быть подробности. Запрос «Ленин» перенаправляется сюда; см. также другие значения …   Википедия

  • Республиканская партия России — У этого термина существуют и другие значения, см. Республиканская партия. Республиканская партия России   Партия народной свободы (РПР ПАРНАС)[1] …   Википедия

  • Маркс — Биография. Учение Маркса. Философский материализм. Диалектика. Материалистическое понимание истории. Классовая борьба. Экономическое учение Маркса. Стоимость. Прибавочная стоимость. Социализм. Тактика классовой борьбы пролетариата …   Литературная энциклопедия

  • DPLL-Алгоритм — Алгоритм Дэвиса–Патнема–Логемана–Лавленда (DPLL) это полный алгоритм поиска с возвратом для определения выполнимости булевых формул, записанных в конъюнктивной нормальной форме, т.е. для решения задачи CNF SAT. Алгоритм был опубликован в 1962… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»